Euclid's Elements Book 1: Proposition 15, Vertical Angles